Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make using IsDiskRegistryMediaKind easier #765

Merged
merged 3 commits into from
Mar 19, 2024
Merged

Make using IsDiskRegistryMediaKind easier #765

merged 3 commits into from
Mar 19, 2024

Conversation

drbasic
Copy link
Collaborator

@drbasic drbasic commented Mar 18, 2024

No description provided.

@github-actions GitHub Actions
Copy link
Contributor

Note

This is an automated comment that will be appended during run.

🔴 linux-x86_64-relwithdebinfo: some tests FAILED for commit 2a8d92d.

TESTS PASSED ERRORS FAILED SKIPPED MUTED?
5048 4546 0 498 2 2

@github-actions GitHub Actions
Copy link
Contributor

Note

This is an automated comment that will be appended during run.

🔴 linux-x86_64-relwithdebinfo: some tests FAILED for commit 41d30a5.

TESTS PASSED ERRORS FAILED SKIPPED MUTED?
5044 4888 0 156 0 0

@drbasic drbasic force-pushed the users/drbasic/is-disk-registry-based branch from 41d30a5 to 8c778b7 Compare March 19, 2024 07:51
@github-actions GitHub Actions
Copy link
Contributor

Note

This is an automated comment that will be appended during run.

🟢 linux-x86_64-relwithdebinfo: all tests PASSED for commit 8c778b7.

TESTS PASSED ERRORS FAILED SKIPPED MUTED?
5046 5046 0 0 0 0

@drbasic drbasic merged commit 0b59d4b into main Mar 19, 2024
7 checks passed
@drbasic drbasic deleted the users/drbasic/is-disk-registry-based branch March 19, 2024 11:14
drbasic added a commit that referenced this pull request Mar 19, 2024
@drbasic
Make using IsDiskRegistryMediaKind easier (#765)
6acd9ce 
* Make using IsDiskRegistryMediaKind easier

* Fix crash

* Fix error
drbasic added a commit that referenced this pull request Mar 19, 2024
@drbasic
Make using IsDiskRegistryMediaKind easier (#765) (#775)
5e86b0b 
* Make using IsDiskRegistryMediaKind easier

* Fix crash

* Fix error
@budevg budevg mentioned this pull request Apr 3, 2024
Merged
@dvrazumov dvrazumov mentioned this pull request Nov 11, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@qkrorlqr qkrorlqr qkrorlqr approved these changes

@gy2411 gy2411 gy2411 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@drbasic @qkrorlqr @gy2411